Derived predicates using "Inferred" data properties but there is no derived predicates for the "Inferred" data properties

[Rezenders]

For example, the derived predicate inferred-Fd_realisability has in its logical expression (inferred-C_status ?c FALSE_string) but there is no derived predicate to infer (inferred-C_status ?c FALSE_string).

Example:

(:derived (inferred-Fd_realisability ?fd ?false_boolean) 
        (and
            (= ?false_boolean false_boolean)
            (exists (?c)
                (and
                    (inferred-C_status ?c FALSE_string)
                    (inferred-Component ?c)
                    (inferred-RequiresC ?fd ?c)
                )
            )
        )
    )

I guess we need something like:

(:derived (inferred-C_status ?c FALSE_string)
  (and
    (C_status ?c FALSE_string)
  )
)

[tobiaswjohn]

should be working now