requirement(g00,'The app shall run on Android').
requirement(g01,'The app shall be delivered within 6 months').
requirement(g10,'The app shall run on all tablets of the factory which are Android tablets').
requirement(g23,'The app shall run on Android').
requirement(g24,'The app shall be delivered within 12 months').
requirement(g20,'The app shall run on iOS').
requirement(g21,'The app shall be delivered within 6 months').
requirement(g22,'Tablets of the factory replaced with iPads').

defect(d00,[],[g00],unjustified).
refinement(r00,[g10],[d00],justify).

defect(d01,["cannot deliver Android app in 6 months"],[g00,g01],mConflict).
refinement(r20,[g23,g24],[d01],resolve).
refinement(r21,[g20,g21,g22],[d01],resolve).