This is a decent country and the one thing you cant allow is that. Brother and sister ages 10 and five. What country is this? You can't have things like this." Here is the formula.
Joan and Jan ages less than 15.
( z0 age :ARG1 ( z1 and :op ( z2 person :name ( z3 name :op "Joan" ) ) :op ( z4 person :name ( z5 name :op "Jan" ) ) ) :ARG2 ( z6 less-than :op ( z7 temporal-quantity :quant 15 :unit ( z8 year ) ) ) )
(z0 / age-01
    :ARG1 (z1 / and
              :op1 (z2 / person
                       :name (z3 / name
                                 :op1 "Joan"))
              :op2 (z4 / person
                       :name (z5 / name
                                 :op1 "Jan")))
    :ARG2 (z6 / less-than
              :op1 (z7 / temporal-quantity
                       :quant 15
                       :unit (z8 / year))))
Joan and Jan ages less than 15 .
z2 :name z3
z3 :op1 2
z1 :op1 z2
z1 :op2 z4
z4 :name z5
z5 :op1 1
z0 :ARG1 z1
z0 :ARG2 z6
z6 :op1 z7
z7 :unit z8
z7 :quant 0